Control from computer science
نویسندگان
چکیده
منابع مشابه
Control from computer science
This paper presents some of the principles underlying verification and controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an additional perspective of their discipline as seen by a sympathetic outsider, uncommitted...
متن کاملControl from Computer Science 1
This paper presents some of the principles underlying veriication and controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an additional perspective of their discipline as seen by a sympathetic outsider, uncommitted ...
متن کاملFrom Constructivism to Computer Science
My eld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their eld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the con-structivistic tr...
متن کاملA Perspective from Computer Science
Since Alan Turing, computer scientists have been interested in understanding natural intelligence by reproducing it in machine form. The fi eld of artifi cial intelligence is characterized, to a large extent, by search algorithms. As search is a computational process, this too has been well studied as part of theoretical computer science, leading to famous results on the computational hardness ...
متن کاملClassifying Papers from Different Computer Science Conferences
This paper analyzes what stylistic characteristics differentiate different styles of writing, and specifically types of different A-level computer science articles. To do so, we compared various full papers using stylistic feature sets and a supervised machine learning method. We report on the success of this approach in identifying papers from the last 6 years of the following three conference...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annual Reviews in Control
سال: 2002
ISSN: 1367-5788
DOI: 10.1016/s1367-5788(02)00030-5